proof theory
[pru:f ˈθiəri]
[网络] 证明论；证明论教材；证明理论
[网络] 证明论；证明论教材；证明理论
热门查询
- sucky adj. [俚语]令人不快的，让人讨厌的
- Gassendi n. (Gassendi)人名；(法)伽桑狄
- swarthy adj. 黝黑的；黑皮肤的
- hogmanay n. （苏格兰的）除夕；除夕活动
- verse n. 诗，诗篇；韵文；诗节 vi. 作诗 vt. 使熟练，使精通 n. (Verse)人名；(德)费尔泽
- beluga n. [脊椎] 白鲸；白色大鳇鱼
- talkin [人名] 托金
- devotional adj. 虔诚的，祷告的；信仰的；献身的
- Asquith n. (Asquith)人名；(德)阿斯奎特；(英)阿斯奎思 阿斯奎斯
- Asprey [人名] 阿斯普雷
- storey n. [建] 楼层；叠架的一层 n. (Storey)人名；(西、瑞典)斯托雷；(英)斯托里
- cascading n. [电] 级联；串接；阶式渗透 v. 瀑布般落下；串联；传递信息（cascade的ing形式）
- Sgr abbr. steam gas recirculation (oil-fromshale removal process) 蒸汽循环（石油层移动处理）; sugar 糖
- junket n. 野餐；游览 vi. 野餐；去郊游
- arcaded adj. 成为拱廊街道的，有列拱的
- ectopic adj. 异位的；异常的
- inflated v. 膨胀（inflate的过去式和过去分词）；使充气；抬高（物价） adj. 通货膨胀的；充了气的；价格飞涨的；（植物）肿胀的
- sticking point n. 分歧点；症结 [网络] 卡点；关键；顶住点
- kits n. 装备；小桶；锦囊（kit的复数） n. (Kits)人名；(俄)基茨
- fictive adj. 虚构的；想象上的；虚伪的
考试词汇表
- malarial nephrosis
- malarial stippling
- malarial treatment
- malassezia tropica
- malate translocase
- malathion monoacid
- malay archipelagos
- malaya genurostrus
- malayo-polynesians
- male breast cancer
- male breeding line
- male building form
- male contraceptive
- male end of a pipe
- male friction cone
- male genital organ
- male hermaphrodism
- male homosexuality
- male hypogonadisms
- male inflorescence
